Translating OMT state diagrams with concurrency into SDL diagrams
نویسندگان
چکیده
Defining a complete methodology for the developing of an application is a challenge for many software engineering specialists. Although many such methodologies have been developed, few of them take into consideration all the aspects that can come up while developing complex applications. Many times, although a general outline for the methodology is being defined, for some important features, like concurrency, no handling solution is given. Our paper proposes a methodology that takes into consideration the concurrency while integrating the object-oriented analysis and specification design, by using the OMT methodology for the requirements analysis, an extension of OMT*, OMT*+, for system design and the formal description technique SDL for detailed design. We propose the translation of OMT state diagrams with concurrency into SDL diagrams with concurrent processes.
منابع مشابه
Translating OMT * to SDL , A Smooth Transition from Analysis to
This paper presents an automated transition from OMT* (a formal variant of OMT) towards SDL. This work is a partial result from a larger research eeort proposing an integrated methodology and toolset based on the combination of Object-Orientation and Formal-Description Techniques. In this project OMT is used as the systems requirements analysis technique while SDL (Speciication Description Lang...
متن کاملTranslating Omt* to Sdl, Coupling Object-oriented Analysis and Design with Formal Description Techniques
This paper presents an automated transition from OMT* (a formal variant of OMT) towards SDL. This work is a partial result from a larger research eeort proposing an integrated methodology and toolset based on the combination of Object-Orientation and Formal-Description Techniques. In this project OMT is used as the systems requirements analysis technique and OMT* for for System Design, while SD...
متن کاملTransforming SDL Diagrams into a Complete Visual Representation
| We investigate a translation of SDL diagrams into the complete visual representation of Pictorial Janus (PJ) programs in order to analyze the speci cation by visual debugging and animation. We additionally introduce timing concepts to PJ (Timed PJ) for a mapping of the SDL timing statements. The concepts transforming SDL interaction and process diagrams into Timed PJ are outlined by an exampl...
متن کاملGenerating Executable Code from the Dynamic Model of Omt with Concurrency
Dynamic model is one of the three basic models of Object Modeling Technique (OMT). It is represented by a set of state transition diagrams showing the behavior of a system. This paper introduces a new method to implement a state diagram in an object oriented language. In our approach, states are represented as classes and transitions as their operations. Inheritance is used to implement common ...
متن کاملGenerating Maude Specifications From UML Use Case Diagrams
This paper presents a systematic approach supporting the translation of UML use case diagrams, describing the functional requirements of a system, into a Maude formal specification. The proposed approach also considers the static and dynamic features of object-oriented systems. The formal and object-oriented language Maude, based on rewriting logic, supports formal specification and programming...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000